Wall models for large-eddy simulation based on optimal control theory