How many productive hours in a day do developers have?