Trump administration needs to appoint a critical minerals czar, mining industry exec says