Development of the set.mm mathematical database for the Metamath project