Extensions of Trotter's operator semigroup approximation theorems