Fluoride materials for optical applications: Single crystals, ceramics, glasses, and glass–ceramics