A reinterpretation of the traditional income–leisure model, with application to in-kind subsidy programs