Relevance of effective bond orders in heterodiatomic molecules and role of the spin-orbit coupling in theAtX(X=At–F)series