What are Abstraction, Encapsulation, Polymorphism, and Inheritance?