How do you write the exponential notation for log_2 4096= 12?