How much space is needed for windows 10 mac