Extensions of ordered groups and sequence completion