What astronomy can do about sexual harassment