Public services disrupted as Portugal holds first general strike in 12 years