Examples of how abstract algebra is used in real life?