Planejamento Estratégico Integrado em Refino de Petróleo: Um estudo de caso de uma refinaria, diante da evolução da especificação de qualidade do diesel e cenários futuros de demanda de derivados