Dyck path enumeration