A microeconomic derivation of the Lucas-type supply function