que es colonia en historia