Question: What are the names of these mountains?
SQL: SELECT name FROM mountain WHERE Height  >  5000