Ameristar Casinos shareholders OK company's sale to Pinnacle