How much overtime is available for deputies?