Distance and routing labeling schemes for non-positively curved plane graphs