Mixed-Initiative Planning in Space Mission Operations