is the casino movie based on a true story?