Why are most public restroom faucets so short?