ERA: A new, fast, machine learning-based software to document rock paintings