A Biot formulation for geotechnical earthquake engineering applications