Reflection positivity, first-order phase transitions, magnetostriction