Computing congruences of modular forms and Galois representations modulo prime powers