Identifying residues in unfolded whole proteins with a nanopore: a theoretical model based on linear inequalities