while loop in rust programming