Trade Unions and the Distribution of Paid Overtime