dublin population