Monoids of upper triangular boolean matrices