On the Compositionality of Quantitative Information Flow (Logical Methods in Computer Science, 2017)