Data curation, Software, Formal analysis, Investigation, Visualization, Writing - original draft, Writing - review and editing.