Remix by Pablo A. Araújo Extended Version. Download: https://drive.google.com/open?id=1TdStmbkbm5_Psl8reRYFjUmY5ucwSf31