D. João IV e a campanha da Restauração