A “Pencil-Sharpening” Algorithm for Two Player Stochastic Games with Perfect Monitoring