A Theory of Trotter Error