Model Theory and the Philosophy of Mathematical Practice