Inter Milan sign De Boer as head coach