How much space is needed for mac os sierra