Existence and Uniqueness for Mean Field Games with State Constraints