On the discretization and application of two space-time boundary integral equations for 3D wave propagation problems in unbounded domains