The loss of dark skies is so painful, astronomers coined a new term for it