A Synthetic Approach to Markov Kernels, Conditional Independence and Theorems on Sufficient Statistics