intro metric topology