How much space should windows 10 take up