The Detectability of Post-Seismic Ground Displacement Using DInSAR and SBAS in Longwall Coal Mining: A Case Study in the Upper Silesian Coal Basin, Poland | Synapse