Are dinosaur fossils minerals? Over $15 million—and potentially much more—rides on the answer