How do you subtract log_2 12 - log_2 3?