Minimum-cost portfolio insurance ☆