Tailoring magnetic insulator proximity effects in graphene : First-principles calculations