An orbital conjunction algorithm based on Taylor models