Cluster EDI convection measurements across the high-latitude plasma sheet boundary at midnight | Synapse