How do you solve 8=log_2 x?