povijest pule