How do you solve log_5 x= log 80?