Miranda Sarmento: bónus nas pensões é “prioridade”, “se houver margem orçamental”