Extending Coalescent Theory to Autotetraploids