Irish 2025 budget surplus tops forecast at 3.7% of national income