when-was-pirates-of-penzance-written