Optical frequency standards: Progress and applications