Automated Label Placement in Theory and Practice