Existence and uniqueness for Mean Field Games with state constraints