Show the names of mountains with height more than 5000 or prominence more than 1000.
select name from mountain where height > 5000 or prominence > 1000