An effective Hamiltonian for the eigenvalue asymptotics of the Robin Laplacian with a large parameter