方程sin x=lg x的实根有几个