How do you solve for x?: log_2(2^(x+3))=15?