Regularly ordered groups