Ready for the rush: Stress-testing customer notifications for Black Friday