A comparative performance analysis of time-domain formulations for wave propagation problems