The Formal Power of One-Visit Attribute Grammars