Article Photos: “Mamma Mia!” comes to Oklahoma City 2/9