Identifying behavioral structure from deep variational embeddings of animal motion