Computation of the fitness and functional response of Holling's “hungry mantid” by the WKB method