SHORTER HOURS AND PRODUCTIVITY: EVIDENCE FROM COAL MINING