Measure Transformer Semantics for Bayesian Machine Learning (Logical Methods in Computer Science, 2013)