Diffeomorphism-invariant observables and their nonlocal algebra