Bands (algebras with an idempotent binary operation)