Portugal announces Roberto Martinez as new national football coach