latex algorithmic do while