On the relationships between informal out-of-school mathematics and formal in-school mathematics in the development of abstract mathematical knowledge