What references and resources (e.g. video recorded lectures) are available for learning chromatic homotopy theory and related areas (such as formal geometry)?