what is the altitude of badwater basin in death valley ca