Programmable Network Data Planes (Dagstuhl Seminar 19141)