Assimilating a Time-Domain Representation of a Wave Energy Converter Into a Spectral Wave Model