Optimal-area upward drawings of AVL trees