An Analytical Packet Error Rate Prediction For Punctured Convolutional Codes And An Application To Crc Code Design