Programmable network devices