EditLens: Quantifying the Extent of AI Editing in Text