O mandado de injunção: origens e trajetória constituinte