Session Types Formalization in Agda