Developers gain productivity from AI coding tools but lack trust