Program Equilibrium via Provability Logic: Robust Cooperation in Prisoners Dilemma