Monadic datalog and the expressive power of languages for web information extraction