How do you do division with mysql