Pretty cleanness and filter-regular sequences