Space–time finite element method with domain reduction techniques for dynamic soil–structure interaction problems