Double insertions of extraocular rectus muscles in humans and the pulley theory