Talented high-schoolers deliver “Mamma Mia!” musical performances