What type of iteration structure only executes while a condition is true and checks the condition before executing the loop body?