Explicit Boundary Guided Semi-Push-Pull Contrastive Learning for Supervised Anomaly Detection