Exponential dichotomy and boundedness for retarded functional difference equations