Lectures on Frobenius splittings and Β-modules