5^x=23,x=多少?怎么计算?