Semi-Infinite Algebraic Geometry of Quasi-Coherent Sheaves on Ind-Schemes