Employers have options when paying holiday bonuses