Text this: Public capital and output growth in Portugal