Added source for GJK implementation