Polymorphism in tridymite