Vatican doctrine official says priestly celibacy should be optional