Lịch sử công nghiệp đá phiến dầu