Formulation and estimation of stochastic frontier production function models