Portugal was formerly a kingdom, becoming a republic in which year?