Experimental and theoretical demonstration of the feasibility of global quantum cryptography using satellites