Overleaf: An open-source online real-time collaborative LaTeX editor