Digital ionosonde observations of Pc3―4 pulsations across the plasmapause