Dan Gilbert Sells Cleveland Casino Interests; Jack Amusement Remains Operator