What are the mean and standard deviation of a binomial probability distribution with #n=12 # and #p=15/23 #?