Mapping full seismic waveforms to vertical velocity profiles by deep learning