Play SQL Server on Linux: overview