PSB formalizes Alckmin as Lula's deputy