Triangular canonical forms for bilinear systems