A course in universal algebra