Formulations and solution methods for a mixed-integer non-linear bilevel pricing problem.