What is an ORM and when developers should and shouldn't use it