How is hypertrophic cardiomyopathy diagnosed?