How long are the power cable and sensor lead