Efficient User Sequence Learning for Online Services via Compressed Graph Neural Networks