Strong watermark numbers encoded as reducible permutation graphs against edge modification attacks