Satellite-based quantum encryption