Berezin–Toeplitz quantization and composition formulas