A brief history of expansion microscopy