El capitan or high sierra for mac mini 2010