Effective potential and first-order phase transitions: Beyond leading order.