Loop models, reflection positivity, phase transitions