Principio di località (informatica)