Exactly solvable models: The road towards a rigorous treatment of phase transitions in finite systems