Box office records made as Broadway says goodbye to 2017