Are employers obliged to grant the additional Bank Holiday for the King’s coronation in May?