The method of reflection positivity in the mathematical theory of first-order phase transitions