How do you simplify log_2 5 + log_2 x - log_2 10?