Solving the problems of finding law on the web: World Law and DIAL