What type of splice should I use when joining sensor cables to system wiring?