A new public restroom is being finished. What is the maximum allowable temperature for hot water delivered to the lavatories?