Cut elimination for a simple formulation of epsilon calculus