Sterols and phylogeny of the acidophilic hot springs algae Cyanidium caldarium and Galdieria sulphuraria