I'm having my house cleaned for the first time, and it occurs to me belatedly that I have no idea whether or how much to tip the cleaners. There are three of them, and the cleaning itself costs $100. Anyone know what to do?