How many non-congruent triangles are there with integer lengths $a \leq b \leq c$ such that $a + b + c = 20$?