Gravar-mail: Theoretical models of DNA topology simplification by type IIA DNA topoisomerases