Frobenius splitting in algebraic geometry, commutative algebra, and representation theory