Measure Transformer Semantics for Bayesian Machine Learning