Simplicial quantum gravity with higher derivative terms: Formalism and numerical results in four dimensions