Monotonicity and Independence Axioms for Quasi-linear Social Choice Problems