integral of ln(sin x) from 0 to 1