extension (model theory)