Phase diagram of hard tetrahedra.